Prove (sin x - sin y)